Results for 'Atle Ottesen Søvik'

4 found
Order:
  1. Some Moral Critique of Theodicy is Misplaced, But Not All.Robert Simpson - 2009 - Religious Studies 45 (3):339-346.
    Several recent critiques of theodicy have incorporated some form of moral objection to the theodical enterprise, in which the critic argues that one ought not to engage in the practice of theodicy. In defending theodical practice against the moral critique, Atle O. Søvik argues that the moral critique (1) begs the question against theodicy, and (2) misapprehends the implications of the claim that it is inappropriate to espouse a theodicy in certain situations. In this paper I suggest some (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Strategic commitment and release in logics for multi-agent systems.Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga - manuscript
    In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...)
    Download  
     
    Export citation  
     
    Bookmark